algorithm recurrence relation